What is un provable?

"Un provable" refers to something that cannot be proved or demonstrated. In mathematics and logic, un provable statements are those that cannot be proven or disproven within a particular system or set of axioms. In other words, they are statements that are neither true nor false, or whose truth value cannot be determined. This concept is related to Godel's incompleteness theorems, which state that any formal system of axioms will have truths that cannot be proven within that system. Un provable statements and problems are also commonly found in philosophy, physics, and computer science. In these fields, un provable statements may arise from fundamental assumptions or limitations, or from gaps in our understanding of complex systems or phenomena.